On Applying Unit Propagation-Based Lower Bounds in Pseudo-Boolean Optimization

Unit propagation-based (UP) lower bounds are used in the vast majority of current Max-SAT solvers. However, lower bounds based on UP have seldom been applied in Pseudo-Boolean Optimization (PBO) algorithms derived from the DPLL procedure for Propositional Satisfiability (SAT). This paper enhances a DPLL-style PBO algorithm with an UP lower bound, and establishes conditions that enable constraint learning and non-chronological backtracking in the presence of conflicts involving constraints generated by the UP lower bound. From a theorical point of view, the paper highlights the relationship between the recent UP lower bound and the well-known Maximum Independent Set (MIS) lower bound. Finally, the paper provides preliminary results that show the effectiveness of the proposed approach for representative sets of instances

A Logical Approach to Efficient Max-SAT solving

Weighted Max-SAT is the optimization version of SAT and many important problems can be naturally encoded as such. Solving weighted Max-SAT is an important problem from both a theoretical and a practical point of view. In recent years, there has been considerable interest in finding efficient solving techniques. Most of this work focus on the computation of good quality lower bounds to be used within a branch and bound DPLL-like algorithm. Most often, these lower bounds are described in a procedural way. Because of that, it is difficult to realize the {\em logic} that is behind. In this paper we introduce an original framework for Max-SAT that stresses the parallelism with classical SAT. Then, we extend the two basic SAT solving techniques: {\em search} and {\em inference}. We show that many algorithmic {\em tricks} used in state-of-the-art Max-SAT solvers are easily expressable in {\em logic} terms with our framework in a unified manner. Besides, we introduce an original search algorithm that performs a restricted amount of {\em weighted resolution} at each visited node. We empirically compare our algorithm with a variety of solving alternatives on several benchmarks. Our experiments, which constitute to the best of our knowledge the most comprehensive Max-sat evaluation ever reported, show that our algorithm is generally orders of magnitude faster than any competitor

Sequential electrochemical polymerization of aniline and their derivatives showing electrochemical activity at neutral pH

Sequential electropolymerization of aniline followed by an aniline derivative bearing an ion moiety is presented. The studied derivatives contain sulfonic, carboxylate or amino groups. Its electrochemical behavior at acid and neutral pH is studied by cyclic voltammetry combined with quartz crystal microbalance or probe beam deflection in order to assess the mass transfer process involved in these new modified electrodes. All of them show a stable and quasi-reversible electrochemical behavior at neutral pH that can be attributed to a self-doping process. These new modified electrodes can be further modified due to the presence of functional groups.Fil: Yanez Heras, Jorge Eduardo. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Ciudad Universitaria. Instituto de Química, Física de los Materiales, Medioambiente y Energía. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Instituto de Química, Física de los Materiales, Medioambiente y Energía; ArgentinaFil: Planes, Gabriel Angel. Universidad Nacional de Río Cuarto; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Córdoba; ArgentinaFil: Williams, Federico José. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Ciudad Universitaria. Instituto de Química, Física de los Materiales, Medioambiente y Energía. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Instituto de Química, Física de los Materiales, Medioambiente y Energía; ArgentinaFil: Barbero, César Alfredo. Universidad Nacional de Río Cuarto; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Córdoba; ArgentinaFil: Battaglini, Fernando. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Ciudad Universitaria. Instituto de Química, Física de los Materiales, Medioambiente y Energía. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Instituto de Química, Física de los Materiales, Medioambiente y Energía; Argentin

Evaluation of chitosan salt properties in the production of AgNPs materials with antibacterial activity

In this study, water-soluble chitosan salts (chitosan amine sulfopropyl salts) were prepared from chitosan samples with different molecular weights and deacetylation degrees. These soluble-in-water polymer salts allowed us to produce, in an eco-friendly and facile method, silver nanoparticles (AgNPs) with better control on size and polydispersity, even at large silver concentrations than their corresponding chitosan sample. Chitosan salt-based materials (films and scaffolds) were analyzed in terms of antibacterial properties against Staphylococcus aureus ATCC23915 or Pseudomonas aeruginosa ATCC 27853. 3D scaffolds enhanced the effect of the chitosan-AgNPs combination compared to the equivalent films

A Murine Model of falciparum-Malaria by In Vivo Selection of Competent Strains in Non-Myelodepleted Mice Engrafted with Human Erythrocytes

To counter the global threat caused by Plasmodium falciparum malaria, new drugs and vaccines are urgently needed. However, there are no practical animal models because P. falciparum infects human erythrocytes almost exclusively. Here we describe a reliable falciparum murine model of malaria by generating strains of P. falciparum in vivo that can infect immunodeficient mice engrafted with human erythrocytes. We infected NODscid/β2m−/− mice engrafted with human erythrocytes with P. falciparum obtained from in vitro cultures. After apparent clearance, we obtained isolates of P. falciparum able to grow in peripheral blood of engrafted NODscid/β2m−/− mice. Of the isolates obtained, we expanded in vivo and established the isolate Pf3D70087/N9 as a reference strain for model development. Pf3D70087/N9 caused productive persistent infections in 100% of engrafted mice infected intravenously. The infection caused a relative anemia due to selective elimination of human erythrocytes by a mechanism dependent on parasite density in peripheral blood. Using this model, we implemented and validated a reproducible assay of antimalarial activity useful for drug discovery. Thus, our results demonstrate that P. falciparum contains clones able to grow reproducibly in mice engrafted with human erythrocytes without the use of myeloablative methods

Base de datos multicéntrica de hemorragia subaracnoidea espontánea del Grupo de Trabajo de Patología Vascular de la Sociedad Española de Neurocirugía: presentación,criterios de inclusión y desarrollo de una base de datos en internet = Spontaneous Subarachnoid Haemorrhage multicenter database from the Group for the Study of Vascular Pathology of the Spanish Society for Neurosurgery: Presentation, inclusion criteria and development of an internet-based registry

Introducción. La hemorragia subaracnoidea (HSA) continúa siendo una de las enfermedades de interés neuroquirúrgico de más alta morbilidad y mortalidad. Su estudio es clave a la hora de mejorar la atención de estos enfermos en nuestro medio. Con este fin el Grupo de Trabajo de Patología Vascular de la SENEC decidió la creación de una base de datos multicéntrica para su estudio. Material y métodos. Se incluyen en esta base de datos todos los casos de hemorragia subaracnoidea espontánea ingresados en los centros participantes de forma prospectiva desde Noviembre del año 2004 hasta Noviembre del 2007. Se decidieron de forma consensuada los campos a recoger incluyendo edad, antecedentes personales, características clínicas, características radiológicas y del aneurisma, tipo de tratamiento y complicaciones de la enfermedad, evolución según la escala de evolución de Glasgow (GOS) al alta y a los seis meses así como el resultado angiográfico del tratamiento. Todos los campos se recogieron en un formulario rellenable a través de una página web segura. Resultados. En los tres años en los que ha estado activa la base se han recogido un total de 1149 casos de HSA espontánea recogidos por 14 centros participantes. Se ha estimado que es necesario aproximadamente un tiempo de 3.4 minutos para rellenar cada caso. En cuanto a sus características generales la serie es similar a otras series hospitalarias no seleccionadas. La edad media de los enfermos incluidos es de unos 55 años y la relación mujer:hombre 4:3. En cuanto a la gravedad del sagrado inicial un 32% de los enfermos se encontraba en mal grado clínico (WFNS = 4 ó 5). El 5% de los pacientes fallecieron antes de realizarse una angiografía que confirmara el origen aneurismático del sangrado. Se confirmó el origen aneurismático en el 76% de los pacientes mientras que en el 19% no se encontró ninguna lesión vascular responsable del sangrado, siendo clasificados como HSA idiopática. En los pacientes en los que se detectó un aneurisma su tratamiento fue endovascular en el 47% de los casos, quirúrgico en el 39, mixto en el 3% y no recibieron tratamiento de su aneurisma el 11% de los pacientes por fallecimiento precoz. En cuanto a su evolución, la mortalidad global de la serie se sitúa en el 22%. Sólo el 40% de los enfermos con HSA aneurismática presentaron una buena evolución (GOS=5). Conclusiones. La HSA espontánea continúa siendo una enfermedad con alta morbilidad y mortalidad. Esta base de datos puede ser un instrumento para conocer mejor sus características en nuestro medio y mejorar sus resultados, ya que se trata de una serie multicéntrica hospitalaria no seleccionada. Sería pues recomendable que esta base constituyera el germen de un registro nacional de HSA espontánea. Introduction. Subarachnoid haemorrhage is one of the most severe neurosurgical diseases. Its study is crucial for improving the care of these patients in our environment. With this goal the Group for the Study of Neurovascular Pathology of the Spanish Society for Neurosurgery (SENEC) decided to create a multicenter registry for the study of this disease. Materials and methods. In this database we have prospectively included all cases with spontaneous subarachnoid haemorrhage admitted to the participant hospitals from November 2004 to November 2007. The fields to be included in the database were selected by consensus, including age, past medical history, clinical characteristics at admission, radiological characteristics including presence or absence of an aneurysm and its size and location, type and complications of the aneurysm treatment, outcome assessed by the Glasgow Outcome Scale (GOS) at discharge and six months after the bleeding as well as the angiographic result of the aneurysm treatment. All fields were collected by means of an electronic form posted in secure web page. Results. During the three years of study a total of 1149 patients have been included by 14 Hospitals. The time needed to fill in a patient in the registry is approximately 3.4 minutes. This series of patients with spontaneous SAH is similar to other non-selected in-hospital series of SAH. The mean age of the patients is 55 years and there is a 4:3 female to male ratio. In relation to the severity of the bleeding 32% of the patients were in poor clinical grade at admission (WFNS 4 or 5). 5% of the patients died before angiography could be performed. An aneurysm was confirmed as the origin of the bleeding in 76% of the patients (aSAH), while in 19% of the patients no lesion was found in the angiographic studies and were thus classified as idiopathic subarachnoid hemorrhage (ISAH). Of those patients with aSAH, 47% were treated endovascularly, 39% surgically, 3% received a combined treatment and 11% did not receive any treatment for their aneurysm because of early death. Regarding outcome, there is a 22% mortality in the series. Only 40% of the patients with aSAH reached a good outcome at discharge (GOS = 5). Conclusions. Spontaneous SAH continues to be a disease with high morbidity and mortality. This database can be an ideal instrument for improving the knowledge about this disease in our environment and to achieve better results. It would be desirable that this database could in the future be the origin of a national registry of spontaneous SAH

Autologous stem-cell transplantation as consolidation of first-line chemotherapy in patients with peripheral T-cell lymphoma : a multicenter GELTAMO/FIL study

Peripheral T-cell lymphomas (PTCL) are a heterogeneous group of rare lymphoid malignancies that mostly have poor prognoses with currently available treatments. Upfront consolidation with autologous stem cell transplantation (ASCT) is frequently carried out, but its efficacy has never been investigated in randomized trials. We designed a multicenter, international, retrospective study with the main objective of comparing progression-free survival and overall survival of patients with PTCL who underwent ASCT in complete remission (CR) after first-line chemotherapy with a control group who did not undergo ASCT. From the initial population of 286 registered patients, 174 patients with PTCL other than anaplastic large cell lymphoma, ALK-positive, deemed fit for ASCT at the time of diagnosis, and who were in CR or uncertain CR after induction therapy (CR1) were included in our analysis. one hundred and three patients underwent ASCT, whereas 71 did not, in most cases (n=53) because the physician decided against it. With a median follow-up of 65.5 months, progression-free survival was significantly better in the transplanted patients than in the non-transplanted group: 63% versus 48% at 5 years (P =0.042). Overall survival was significantly longer for ASCT patients in the subgroup with advanced stage at diagnosis (5-year overall survival: 70% vs. 50%, P =0.028). In the multivariate analysis, first-line ASCT was associated with significantly prolonged progression-free survival (HR=0.57, 95% CI: 0.35-0.93) and overall survival (HR=0.57, 95% CI: 0.33-0.99). In conclusion, our study supports the use of ASCT as a consolidation strategy for patients with PTCL in CR1. These results should be confirmed in a prospective randomized study

Hacia un modelo universitario: la Universidad Carlos III de Madrid

Este libro es la materialización de un encargo del rector Gregorio Peces-Barba de realizar un trabajo sobre los orígenes de la Universidad Carlos III de Madrid. El resultado se encuentra plasmado en estas páginas que son el fruto del esfuerzo de muchas personas. La Universidad Carlos III ha destacado desde su implantación por su empeño en definir sus líneas maestras, sus ejes definidores y distintivos respecto a otras universidades ya existentes. Desde ese presente, desde el momento en que este centro vio la luz, procuró siempre proyectar esas líneas hacia un futuro, hacia un medio y largo plazo, en el que la Universidad contaría con el tiempo para consolidarse. Presente y futuro, como preocupación, estuvieron y están siempre muy visibles en el discurso y en la imagen que la Universidad Carlos III de Madrid ha querido proyectar de sí misma. Nuestro ejercicio introduce, con los quince años de perspectiva que ahora se nos otorgan, cierta dimensión de pasado, o mejor, de presente madurado, lo que da un lugar privilegiado a la reflexión antes aludida. Hemos querido dejar por escrito, a través de un trabajo siempre documentado y junto a las reflexiones de quienes más directamente estuvieron relacionados con los comienzos de la andadura de la Universidad Carlos III de Madrid, el reflejo de un estado de cosas que no entramos a valorar pero que sí puede dar lugar a la reflexión por parte de los lectores pertenecientes a esta comunidad universitaria y, sobre todo por parte de aquéllos que, en mayor o menor medida, soportan las responsabilidades del gobierno de este centro. Coincide la publicación del libro con el decimoquinto aniversario de la Ley de 5 de mayo de 1989 que hizo realidad el proyecto de creación de la Universidad.Introducción / Adela Mora Cañada, Carolina Rodríguez López. -- La Ley de creación de la Universidad Carlos III de Madrid y sus antecedentes / José Vida Fernández. -- Ubicación y sedes / Pablo García de Madariaga, Juan Jara Solera. -- La Comisión Gestora / Adela Mora Cañada. -- El Consejo de Administración / Adela Mora Cañada. -- La paulatina gestación de la organización universitaria. -- El profesorado / Carolina Rodríguez López. -- Planes de estudios / Adela Mora Cañada, Antonio Rodríguez de las Heras. -- Rasgos distintivos del alumnado / Carolina Rodríguez López. -- Los pilares del modelo / Adela Mora Cañada. -- La investigación / Francisco Marcellán Español. -- La biblioteca de la Universidad, un servicio para todos / Margarita Taladriz Mas. -- La financiación privada. El papel de la Fundación Universidad Carlos III / Juan Antonio Cajigal. -- Los Colegios Mayores-Residencias de estudiantes de la Universidad Carlos III de Madrid / José Vida Fernández. -- SIJA: un servicio singular para una universidad pública diferente /Joaquín Ballesteros. -- El archivo / José Ramón Cruz Mundet. -- “Viaje instructivo” por la dimensión artística y patrimonial de la Universidad Carlos III / Federico Castro Morales. -- Algunos números acerca de la Universidad y lo que nos dicen / Eduardo López-Aranguren Quiñones. -- El servicio de orientación y planificación profesional / Luis Jiménez Catena. -- Qué Universidad y qué contexto: uso y percepción de la Carlos III en su entorno social / María Silveria Agulló, Constanza Tobío. -- Apéndices